1. Process algebra and probabilistic methods
Author: / Holger Hermanns, Roberto Segala, eds
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory--Congresses,Parallel processing (Electronic computers)--Congresses
Classification :
QA
,
267
,.
P362
,
2002
2. Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
Author: Holger Hermanns, Roberto Segala, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
2399
